Nuprl Definition : receives
11,40
postcript
pdf
receives(
dE
;
dL
;
pred?
;
info
;
p
;
e
;
l
)
== filter((
r
.rcv-from-on(
dE
;
dL
;
info
;
e
;
l
;
r
)); eventlist(
pred?
; sends-bound(
p
;
e
;
l
)))
latex
Definitions
sends-bound(
p
;
e
;
l
)
,
eventlist(
pred?
;
e
)
,
rcv-from-on(
dE
;
dL
;
info
;
e
;
l
;
r
)
,
filter(
P
;
l
)
,
receives(
dE
;
dL
;
pred?
;
info
;
p
;
e
;
l
)
FDL editor aliases
receives
origin
r.rcv-from-on(dE; dL; info; e; l; r)); eventlist(pred?; sends-bound(p; e; l))) r.rcv-from-on(dE; dL; info; e; l; r)); eventlist(pred?; sends-bound(p; e; l)))